reachable state
英 [ˈriːtʃəbl steɪt]
美 [ˈriːtʃəbl steɪt]
网络 可达状态; 达状态
双语例句
- Simulation results show that this method can ensure the global stability and the sliding reachable condition as well, and the state can track the desired one precisely without chattering.
仿真结果表明，该方法既保证了控制系统的全局渐进稳定性，又保证了滑动平面的可达性，能高精度跟踪给定值，无抖振。 - Firing rules of timed Petri nets and the definition and algorithm of timed reachable graph are given. A fundamental applied methods ( mainly timed reachable graph and state equation) are discussed.
给出了时延Petri网的引发规则、时间可达图定义和构造算法，并且介绍了时延Petri网的两个基本分析方法：时间可达图（或可覆盖图）和状态方程。 - The concept and algorithm of Reachable Task Graph for hierarchical colored Petri net are given in this paper. Finally, we analyze the running state of resource scheduling for grid computing using reachable task graph.
给出了层次颜色Petri网的可达任务图的概念及构造算法，并利用可达任务图，对网格计算资源调度系统的运行状态进行了分析。 - The reachable belief space refers to a set of belief states that are reachable from the initial belief state under arbitrary sequences of actions and observations.
可达信念空间指的是从初始信念状态通过采取随机行动可以到达的信念状态构成的集合。 - Two examples are given to illustrate the theoretical results. ( 2) The problem of reachable set estimation for uncertain systems subject to both state time delay and control input delay is also studied.
研究了同时具有状态时滞和控制输入时滞的不确定系统的可达集界定的问题。 - Hybrid systems verification is a research field of hybrid systems. It analyzes whether the reachable sets of system are in target state sets in the case of given initial conditions.
混杂系统形式验证是混杂系统的一个研究方向，它是分析在给定的初始条件下，系统的可达集是否都在目标状态集合内。